System programming language - PDFSEARCH.IO - Document Search Engine

System programming language
Results: 2012

#	Item
291	Registering a project code on an academic publication In collaboration with The Research council of Norway (RCN), CRIStin has established a link between the CRIStin-system and RCNs system. From now on, you may easily fet Add to Reading List Source URL: www.cristin.no Language: English Cross-platform software Programming language theory Computing Software engineering C
292	UNIVERSITY OF SHEFFIELD: DESCRIPTION OF THE LaSIE-II SYSTEM AS USED FOR MUC-7 K. Humphreys, R. Gaizauskas, S. Azzam, C. Huyck, B. Mitchell, H. Cunningham, Y. Wilks 1 Department of Comp uter Science University of Sheeld Add to Reading List Source URL: www.itl.nist.gov Language: English - Date: 2001-01-11 13:45:11 Linguistics Software engineering Grammar Parsing Natural language processing Information extraction Semantics Chart parser Formal grammar Formal languages Programming language implementation Compiler construction
293	Erasable coercions: a unified approach to type systems Julien Cretin January 30, 2014 Add to Reading List Source URL: phd.ia0.fr Language: English - Date: 2014-01-30 14:31:16 Type theory Functional languages Cross-platform software Programming language implementation OCaml Computing platforms Type system Programming language Bytecode Computing Software engineering Software
294	Sage: Hybrid Checking for Flexible Specifications Jessica Gronski† Kenneth Knowles† † Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:25:18 Type theory Data types Functional languages Object-oriented programming Procedural programming languages Type system Type safety Subtype polymorphism Polymorphism Software engineering Computing Programming language theory
295	Inferred Interface Glue: Supporting Language Interoperability with Static Analysis by Tristan Ravitch Add to Reading List Source URL: pages.cs.wisc.edu Language: English - Date: 2013-09-07 16:19:46 Data types Subroutines Type theory Procedural programming languages Pointer Type system Parameter GNU Linear Programming Kit Finalizer Software engineering Computing Computer programming
296	MetaDas Content Management System help documentation Version 1.0 Contents Add to Reading List Source URL: www.communitywebs.org Language: English - Date: 2014-11-17 17:33:56 Blog software World Wide Web Website Flash CMS Software PHP programming language Content management systems
297	CallCallHow Architecture‐Driven Modernization Is Changing the Game in Information System Modernization Add to Reading List Source URL: www.dtic.mil Language: English - Date: 2012-05-29 04:13:24 Unified Modeling Language Architecture-driven modernization Software architecture COBOL Procedural programming languages Model-driven architecture Object Management Group Fortran Ada Software engineering Computing Computer programming
298	Java Generics Frequently Asked Questions written and maintained by Angelika Langer Add to Reading List Source URL: www.angelikalanger.com Language: English - Date: 2015-01-17 08:22:53 Computer programming Polymorphism Type theory Cross-platform software Generics in Java Wildcard Mono project Type system C Sharp Computing Software engineering Java programming language
299	Polymorphic Binding Time Analysis Masters Thesis Christian Mossin DIKU, Department of Computer Science University of Copenhagen Universitetsparken 1, DK-2100 Copenhagen Ø Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:52 Programming language theory Data types Polymorphism Lambda calculus Object-oriented programming Type system Type inference Hindley–Milner Simply typed lambda calculus Software engineering Type theory Computing
300	Part1: On the learning and using of C++ Add to Reading List Source URL: www.stroustrup.com Language: English - Date: 2012-10-03 14:24:45 Cross-platform software Procedural programming languages Programming paradigms Type theory C++ C Programming language Type system Î Software engineering Computing Computer programming

UPDATE